SQUARE WITH BUILT-IN DIAMOND-PLUS
نویسندگان
چکیده
منابع مشابه
Square with Built-in Diamond-plus
We formulate combinatorial principles that combine the square principle with various strong forms of the diamond principle, and prove that the strongest amongst them holds in L for every infinite cardinal. As an application, we prove that the following two hold in L: (1) For every infinite regular cardinal λ, there exists a special λ-Aronszajn tree whose projection is almost Souslin; (2) For ev...
متن کاملDiamond, Gch and Weak Square
Shelah proved recently that if κ > ω and S ⊆ κ+ is a stationary set of ordinals of cofinality different from cf(κ), then 2κ = κ+ implies ♦κ+ (S). We show that for singular κ, an elaboration on his argument allows us to derive ♦κ+ (T ) from 2κ = κ+ + κ where T = {δ < κ+ | cf(δ) = cf(κ)}. This gives a strong restriction on the existence of saturated ideals on κ+.
متن کاملFunctional Plus Logic Programming with Built-In and Symbolic Constraints
In this paper we propose a lazy functional logic language, named SETA, which allows to handle multisets, built-in arithmetic constraints over the domain of real numbers, as well as various symbolic constraints over datatypes. As main theoretical results, we have proved the existence of free term models for all SETA programs and we have developed a correct and complete goal solving mechanism.
متن کاملCustom Built Atomic Force Microscope for Nitrogen-Vacancy Diamond Magnetometry
The nitrogen-vacancy (N-V) center in diamonds have the potential to be an ultra-sensitive magnetic field sensor that is capable of detecting single spins. Implementing this sensor for general and nontransparent samples is not trivial. For N-V centers to be a useful probe, a way of positioning the NV center with nanometer accuracy while simultaneously measuring its fluorescence is needed. Here, ...
متن کاملLarge Black Circle Black Pentagon Large Black Square Large White Square Small Black Diamond Small White Diamond Small Black Lozenge Small White Lozenge Small White Arabic Star
These ruminations are based on based on UTR 25 (Unicode and Mathematics), revision 7, section 2.11 (Geometric Shapes) in particular. The conclusions are-(i) a plea for more consistency when naming characters; (ii) a request that characters based on abstract shapes should have some indicator of the size of the character relative to the rest of the font; (iii) that the code chart entry for U+2023...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2017
ISSN: 0022-4812,1943-5886
DOI: 10.1017/jsl.2016.69